Towards Synchronous and Asynchronous Graph Transformations
نویسنده
چکیده
Synchronous and asynchronous graph transformations are discussed on the basis of distributed graph transformations. All types of graph transformations presented are formulated in the single-pushout approach to graph transformations and compared with each other. Some criteria are given to preserve or reestablish synchrony according to the deenition proposed in this paper.
منابع مشابه
Synchronous and Asynchronous Multimedia and Iranian EFL Learners’ Learning of Collocations
The use of effective multimedia instructions such as mobiles, computers, and the internet in language learning has turned out to be useful since the last decades. The impact of multimedia and synchronous approaches of computer-assisted language learning (CALL) on English as a foreign language (EFL) learners' learning of language skills and components has been studied to some extent. However, th...
متن کاملAsynchronous Large-Scale Graph Processing Made Easy
Scaling large iterative graph processing applications through parallel computing is a very important problem. Several graph processing frameworks have been proposed that insulate developers from low-level details of parallel programming. Most of these frameworks are based on the bulk synchronous parallel (BSP) model in order to simplify application development. However, in the BSP model, vertic...
متن کاملGiraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems
The bulk synchronous parallel (BSP) model used by synchronous graph processing systems allows algorithms to be easily implemented and reasoned about. However, BSP can suffer from poor performance due to stale messages and frequent global synchronization barriers. Asynchronous computation models have been proposed to alleviate these overheads but existing asynchronous systems that implement such...
متن کاملSystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally Asynchronous Locally Synchronous (GALS) model of computation. The synchronous reactive (SR) model is used for synchronous parts of the modelled system, and those parts, which represent individual clock-domains, are co...
متن کاملPerformance Analysis of Mixed Asynchronous Synchronous Systems
The paper is concerned with the timing analysis of a class digital systems we call mixed asynchronous{synchronous systems. In such a system, each computation module is either synchronous (i.e. clocked) or asynchronous (i.e. selftimed). The communication between modules is assumed to be selftimed for all modules. We introduce a graph model called MASS for describing the timing behaviour of such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 26 شماره
صفحات -
تاریخ انتشار 1996